A Gentzen Calculus for Nothing but the Truth

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic (ETL), an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof

Spatial Modulation Microscopy for Real-Time Imaging of Plasmonic Nanoparticles and Cells

Spatial modulation microscopy is a technique originally developed for quantitative spectroscopy of individual nano-objects. Here, a parallel implementation of the spatial modulation microscopy technique is demonstrated based on a line detector capable of demodulation at kHz frequencies. The capabilities of the imaging system are shown using an array of plasmonic nanoantennas and dendritic cells incubated with gold nanoparticles.Comment: 3 pages, 4 figure

Interpolation in 16-Valued Trilattice Logics

In a recent paper we have defined an analytic tableau calculus (Formula presented.) for a functionally complete extension of Shramko and Wansing’s logic based on the trilattice (Formula presented.). This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic—such as the relations [InlineEquation not available: see fulltext.], [InlineEquation not available: see fulltext.], and [InlineEquation not available: see fulltext.] that each correspond to a lattice order in (Formula presented.); and [InlineEquation not available: see fulltext.], the intersection of [InlineEquation not available: see fulltext.] and [InlineEquation not available: see fulltext.]. It turns out that our method of characterising these semantic relations—as intersections of auxiliary relations that can be captured with the help of a single calculus—lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that [InlineEquation not available: see fulltext.], when restricted to (Formula presented.), the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano

Software architecture analysis tool : software architecture metrics collection

The Software Engineering discipline lacks the ability to evaluate software architectures. Here we describe a tool for software architecture analysis that is based on metrics. Metrics can be used to detect possible problems and bottlenecks in software architectures. Even though metrics do not give a complete evaluation of software architectures it is a useful analysis method. The Software Architecture Analysis tool can be applied to XMI output generated by a UML modelling tool. We have done this using Rational Rose

Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language

To appear in Journal of Language Modelling. Short versions presented in DSALT 2016, SaLMoM 2016, LACL 2016. A version presented in AC 2017To appear in Journal of Language Modelling. Short versions presented in DSALT 2016, SaLMoM 2016, LACL 2016. A version presented in AC 2017To appear in Journal of Language Modelling. Short versions presented in DSALT 2016, SaLMoM 2016, LACL 2016. A version presented in AC 2017Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim's context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and we provide examples

Immune factors preceding diagnosis of glioma: a Prostate Lung Colorectal Ovarian Cancer Screening Trial nested case-control study.

BackgroundEpidemiological studies of adult glioma have identified genetic and environmental risk factors, but much remains unclear. The aim of the current study was to evaluate anthropometric, disease-related, and prediagnostic immune-related factors for relationship with glioma risk.MethodsWe conducted a nested case-control study among the intervention arm of the Prostate, Lung, Colorectal, and Ovarian Cancer (PLCO) Screening Trial. One hundred and twenty-four glioma cases were identified and each matched to four controls. Baseline characteristics were collected at enrollment and were evaluated for association with glioma status. Serum specimens were collected at yearly intervals and were analyzed for immune-related factors including TGF-β1, TNF-α, total IgE, and allergen-specific IgE. Immune factors were evaluated at baseline in a multivariate conditional logistic regression model, along with one additional model that incorporated the latest available measurement.ResultsA family history of glioma among first-degree relatives was associated with increased glioma risk (OR = 4.41, P = .002). In multivariate modeling of immune factors at baseline, increased respiratory allergen-specific IgE was inversely associated with glioma risk (OR for allergen-specific IgE > 0.35 PAU/L: 0.59, P = .03). A logistic regression model that incorporated the latest available measurements found a similar association for allergen-specific IgE (P = .005) and showed that elevated TGF-β1 was associated with increased glioma risk (P-value for trend <.0001).ConclusionThe results from this prospective prediagnostic study suggest that several immune-related factors are associated with glioma risk. The association observed for TGF-β1 when sampling closer to the time of diagnosis may reflect the nascent brain tumor's feedback on immune function

Rich Situated Attitudes

We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of language (cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance contents with the interpreting agent’s informational situation, it solves the problem of finding suitably fine- or coarse-grained objects for the content of propositional attitudes. In virtue of this variation, a layman will reason with more propositions than an expert